#	Lens Space (5,1) with left-handed twist
#
#	The entries in the generator matrix are
#
#		cos(2π/5) = (-1 + √5)/4       = 0.30901699437494742410
#		sin(2π/5) = ( √(10 + 2√5) )/4 = 0.95105651629515357212
#
#	In principle we should be able to express these as elements
#	in a field Q[ξ], where ξ is a root of an irreducible polynomial,
#	but I don't immediately see how to do that.

  0.30901699437494742410 -0.95105651629515357212  0.00000000000000000000  0.00000000000000000000
  0.95105651629515357212  0.30901699437494742410  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000  0.30901699437494742410  0.95105651629515357212
  0.00000000000000000000  0.00000000000000000000 -0.95105651629515357212  0.30901699437494742410
